Logic in cognitive science
نویسندگان
چکیده
منابع مشابه
Logic and Cognitive Science
Our aim is to show that the logical point of view and methods of logic are indispensable for the understanding of human cognition. However, the results of some well known psychological experiments may be seen as denying the relevance of logic in studying human reasoning. Wrong design decisions and interpretations of these experiments are analyzed in this chapter. Arguments supporting an externa...
متن کاملNatural Logic in AI and Cognitive Science
This paper presents an ongoing research project called “natural logic” and makes the case that it is relevant to AI, Computational Linguistics, and Cognitive Science. We propose to add some of the natural logic modules which have already been developed to existing NLP systems. We see our approach as complementing and augmenting data-driven approaches exemplified by IBM’s Watson. We give a brief...
متن کاملLogic and Complexity in Cognitive Science
This chapter surveys the use of logic and computational complexity theory in cognitive science. We emphasize in particular the role played by logic in bridging the gaps between Marr’s three levels: representation theorems for non-monotonic logics resolve algorithmic/implementation debates, while complexity theory probes the relationship between computational task analysis and algorithms. We arg...
متن کاملEuclid's diagrammatic logic and cognitive science
For more than two millennia, Euclid’s Elements set the standard for rigorous mathematical reasoning. The reasoning practice the text embodied is essentially diagrammatic, and this aspect of it has been captured formally in a logical system termed Eu [2, 3]. In this paper, we review empirical and theoretical works in mathematical cognition and the psychology of reasoning in the light of Eu. We a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2013
ISSN: 1425-3305
DOI: 10.12775/llp.2011.001